S. Maslov's Iterative Method: 15 Years Later
نویسنده
چکیده
In 1981, S. Maslov has proposed a new iterative method for solving propositional satissability problems. The 1981{87 results related to this method were described in the present book. In this chapter, we brieey recall the origins of Maslov's method, and describe further results and ideas related to this method. 1. 1979{81: The Origins of S. Maslov's Iterative Method 1.1. Freedom of choice is necessary. 1.1.1. Freedom of choice is necessary in social life. On the top of a high mountain, with hardly enough air to breathe, one fully realizes the importance of breathing. In a totalitarian state, where even elections had exactly one candidate to choose from, we realized the importance of freedom; and one of the main aspects of freedom is the freedom of choice. Freedom may be seen as a burden: In science and engineering (e.g., when we plan a ight to a distant planet), we: formulate a reasonable optimization problem (e.g., getting there faster, or minimizing the cost), solve it, and then follow the optimal trajectory. In this case, the \freedom" will mean the freedom to deviate from this optimal trajectory. Such a deviation will only make things worse and can even lead to a disaster. In economics, at rst glance, all we have to do is: translate the ideas of universal happiness and prosperity into a reasonable objective functions, solve the corresponding optimization problem, and then follow the optimal economic plan. In this case, the freedom of choice can only mean the freedom to deviate from this optimal plan and thus, to make life worse. Such freedom leads
منابع مشابه
An iterative method for amenable semigroup and infinite family of non expansive mappings in Hilbert spaces
begin{abstract} In this paper, we introduce an iterative method for amenable semigroup of non expansive mappings and infinite family of non expansive mappings in the frame work of Hilbert spaces. We prove the strong convergence of the proposed iterative algorithm to the unique solution of a variational inequality, which is the optimality condition for a minimization problem. The results present...
متن کاملWeak and Strong Convergence of Finite Family with Errors of Nonexpansive Nonself-mappings
Let K be a subset of a real normed linear space E and let T be a self-mapping on K . T is said to be nonexpansive provided ‖Tx−Ty‖ ‖x− y‖ for all x, y ∈ K . Fixed-point iteration process for nonexpansive mappings in Banach spaces including Mann and Ishikawa iteration processes has been studied extensively by many authors to solve the nonlinear operator equations in Hilbert spaces and Banach spa...
متن کاملA relaxed projection method for variational inequalities
where S is a nonempty closed convex subset o f R ' , f is a mapp ing f rom R" into itself, and ( . , .) denotes the inner p roduc t in R n. This problem is commonly called the variational inequality problem and has proved to be very useful in dealing with a variety o f equilibrium models. As in the cases o f nonl inear equat ions and nonl inear opt imizat ion problems, solutions o f problem (1)...
متن کاملNew iterative method for solving linear Fredholm fuzzy integral equations of the second kind
متن کامل
A New Iterative Method For Solving Fuzzy Integral Equations
In the present work, by applying known Bernstein polynomials and their advantageous properties, we establish an efficient iterative algorithm to approximate the numerical solution of fuzzy Fredholm integral equations of the second kind. The convergence of the proposed method is given and the numerical examples illustrate that the proposed iterative algorithm are valid.
متن کامل